push-down store - German English Dictionary